Model validation by permutation tests: Applications to variable selection

1996 ◽  
Vol 10 (5-6) ◽  
pp. 521-532 ◽  
Author(s):  
Fredrik Lindgren ◽  
Björn Hansen ◽  
Walter Karcher ◽  
Michael Sjöström ◽  
Lennart Eriksson
2004 ◽  
Vol 18 (7-9) ◽  
pp. 451-474 ◽  
Author(s):  
Anthony Nicholls ◽  
Norah E. MacCuish ◽  
John D. MacCuish

2006 ◽  
Vol 84 (1-2) ◽  
pp. 69-74 ◽  
Author(s):  
Endre Anderssen ◽  
Knut Dyrstad ◽  
Frank Westad ◽  
Harald Martens

2020 ◽  
Vol 12 (1) ◽  
pp. 17-22
Author(s):  
Alexander Nadel

This paper is a system description of the anytime MaxSAT solver TT-Open-WBO-Inc, which won both of the weighted incomplete tracks of MaxSAT Evaluation 2019. We implemented the recently introduced polarity and variable selection heuristics, TORC and TSB, respectively, in the Open-WBO-Inc-BMO algorithm within the open-source anytime MaxSAT solver Open-WBO-Inc. As a result, the solver is substantially more efficient.


2019 ◽  
Vol 139 (8) ◽  
pp. 850-857
Author(s):  
Hiromu Imaji ◽  
Takuya Kinoshita ◽  
Toru Yamamoto ◽  
Keisuke Ito ◽  
Masahiro Yoshida ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document